翻訳と辞書 Words near each other ・ Logical conjunction ・ Logical connective ・ Logical consequence ・ Logical constant ・ Logical cube ・ Logical data model ・ Logical Decisions ・ Logical depth ・ Logical Design Works ・ Logical determinism ・ Logical disjunction ・ Logical disk ・ Logical Disk Manager ・ Logical effort ・ Logical equality ・ Logical equivalence ・ Logical equivalent ・ Logical extreme ・ Logical Form ・ Logical form ・ Logical framework ・ Logical framework approach ・ Logical functor ・ Logical graph ・ Logical harmony ・ Logical hexagon ・ Logical holism ・ Logical Information Machines ・ Logical Investigations ・ Logical Investigations (Husserl) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Logical equivalence ： ウィキペディア英語版 Logical equivalence In logic, statements p and q are logically equivalent if they have the same logical content. This is a semantic concept; two statements are equivalent if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of p and q is sometimes expressed as $p\; \backslash equiv\; q$, E''pq'', or $p\; \backslash Leftrightarrow\; q$. However, these symbols are also used for material equivalence; the proper interpretation depends on the context. Logical equivalence is different from material equivalence, although the two concepts are closely related. ==Logical equivalences== Logical equivalences involving conditional statements： :#p→q≡¬p∨q :#p→q≡¬q→¬p :#p∨q≡¬p→q :#p∧q≡¬(p→¬q) :#¬(p→q)≡p∧¬q :#(p→q)∧(p→r)≡p→(q∧r) :#(p→q)∨(p→r)≡p→(q∨r) :#(p→r)∧(q→r)≡(p∨q)→r :#(p→r)∨(q→r)≡(p∧q)→r Logical equivalences involving biconditionals： :#p↔q≡(p→q)∧(q→p) :#p↔q≡¬p↔¬q :#p↔q≡(p∧q)∨(¬p∧¬q) :#¬(p↔q)≡p↔¬q 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Logical equivalence」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.